Performance Analysis of Real - Time Devs Models

نویسندگان

  • Ezequiel Glinsky
  • Gabriel Wainer
چکیده

The CD++ toolkit was developed to implement the theoretical concepts specified by the DEVS formalism. CD++ has been recently enhanced to support real-time simulation, where events have to be processed in a timely manner. A synthetic benchmarking tool is used to test several models with different workloads, complexities, structures and sizes. Additionally, experiments were carried out under different scenarios to analyze the behavior in such conditions. Some problems and limitations were detected in particular cases. Lately, a flattened simulation technique has been introduced in the toolkit. The experiments presented in this work show that the flattened simulator is more efficient than the hierarchical one.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example

This article presents an application of the Discrete Event System Specification (DEVS) framework to the design and safety analysis of a real-time embedded control system, a railroad crossing control system.The authors employ an extension of the DEVS formalism, real-time DEVS (RT-DEVS), which has a sound semantics for the specification of real-time systems in a hierarchical modular fashion. The ...

متن کامل

A novel parallelization technique for DEVS simulation of continuous and hybrid systems

In this paper, we introduce a novel parallelization technique for DEVS simulation of continuous and hybrid systems. Here, like in most parallel discrete event simulation methodologies, the models are first split into several sub–models that are concurrently simulated on different processors. In order to avoid the cost of the global synchronization of all processes, the simulation time of each s...

متن کامل

Principles of Discrete Event System Specification model verification

Real-time systems modeling and verification is a complex task. In many cases, formal methods have been employed to deal with the complexity of these systems, but checking those models is usually unfeasible. Modeling and simulation methods introduce a means of validating these model’s specifications. In particular, Discrete Event System Specification (DEVS) models can be used for this purpose. H...

متن کامل

Devs-on –a-chip: Implementing Devs in Real-time Java on a Tiny Internet Interface for Scalable Factory Automation

This paper describes our effort to implement DEVS on a TINI Chip which has limited memory and processing ability. A set of welldefined DEVS Interfaces make it possible to define a just-as-needed DEVS real time environment and run on the chip efficiently. As a case study for real time data gathering, processing and management, a DEVS coupled model has been composed from a set of primitive DEVS a...

متن کامل

A Simplified Real - Time Embedded Devs Approach towards Embedded and Control Design

The development of embedded systems with real-time constraints has received the thorough study of the software engineering community in the last 20 years. We propose a model-driven real-time simplified P-DEVS (Parallel Discrete EVent Simulation system) method to develop this kind of applications based on formal DEVS, a formal technique originally created for modeling and simulation of discrete ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002